Inheritance and Recognition in Uncertain and Fuzzy Object-Oriented Models
نویسندگان
چکیده
This paper proposes probabilistic default reasoning as a suitable approach to inheritance and recognition in uncertain and fuzzy object-oriented models. Firstly, we introduce an uncertain and fuzzy object-oriented model where a class property (i.e., an attribute or a method) can contain fuzzy sets interpreted as families of probability distributions, and uncertain class membership and property applicability are measured by lower and upper bounds on probability. Each uncertainly applicable property is interpreted as a default probabilistic logic rule, which is defeasible. In order to reduce the computational complexity of general probabilistic default reasoning, we propose to use Jeffrey’s rule for a weaker notion of consistency and for local inference, then apply them to uncertain inheritance of properties. Using the same approach but with inverse Jeffrey’s rule, uncertain recognition as probabilistic default reasoning is also presented. The approach is illustrated by an example in Fril++, the uncertain and fuzzy object-oriented logic programming language that we have been developing.
منابع مشابه
A Fril++ Compiler for Soft Computing Object-Oriented Logic Programming
— We present a compiler and object query system for Fril++, an object-oriented logic programming language incorporating fuzzy sets and support logic. Based on Fril, the fuzzy relational inference language, Fril++ provides extensions to support full object-oriented programming in a soft computing logic programming environment. We present the design implications of Fril++, with special emphasis o...
متن کاملTowards Soft Computing Object-Oriented Logic Programming
Logic programming, object-oriented programming and soft computing have provided advantageous methodologies and techniques for computer-based problem solving. This paper proposes a framework that combines these three disciplines to exploit their own advantages in dealing with real world problems. The framework is a logic-based one in which class and object properties are represented by clauses. ...
متن کاملAn Overview of Fuzzy Object Oriented Database Systems (FOODBs)
Continuous advancement of information technology is looking for more generalized and specific database definition that could make possible the storage, retrieval and manipulation of multiple, different variety of imprecise, ambiguous, and incomplete complex information in the form of data. To explore such databases, researchers’ blends the concept of database with object oriented modeling and f...
متن کاملModelsaz: An Object-Oriented Computer-Aided Modeling Environment
Modeling and simulation of processing plants are widely used in industry. Construction of a mathematical model for a plant is a time-consuming and error-prone task. In light of extensive advancements in computer science (both hardware and software), computers are becoming a necessary instrument in industrial activities. Many software tools for modeling, simulation and optimization of proces...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کامل